On Union-Closedness of Language Generation
arxiv.orgยท1d
๐Ÿ”—Monadic Parsing
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท14m
๐Ÿ“ŠGraph Databases
Counting with Categories (Part 3)
golem.ph.utexas.eduยท22h
ฮปLambda Formalization
Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท1d
๐Ÿ“Concrete Syntax
LFCS Seminar Thursday 26th June: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ”—Combinatory Logic
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.comยท18h
๐Ÿค–Grammar Induction
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.toยท31mยท
Discuss: DEV
๐Ÿง Machine Learning
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.orgยท10h
๐Ÿ’ปLocal LLMs
LR(1) parse-tables generator
github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”Z3 Parsing
AIโ€™s โ€˜Neutral Voiceโ€™ Is a Structural Illusion
hackernoon.comยท7h
๐Ÿค–Grammar Induction
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.orgยท10h
๐Ÿ’ปLocal LLMs
Signal Recovery on Algebraic Varieties Using Linear Samples
arxiv.orgยท1d
๐Ÿ•ธ๏ธAlgebraic Topology
Stop Words Using Spacy - NLP
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Text Parsing
The one-more-re-nightmare compiler (2021)
applied-langua.geยท21hยท
Discuss: Lobsters, r/programming
๐Ÿ”RegEx Engines
Hypercubical manifolds in homotopy type theory
arxiv.orgยท10h
๐Ÿ”ถCubical Type Theory
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท3hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
Computation of Immediate Neighbours of Monotone Boolean Functions
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
Online Algorithms for Recovery of Low-Rank Parameter Matrix in Non-stationary Stochastic Systems
arxiv.orgยท10h
๐Ÿ“Linear Algebra